Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets

This article proposes a model-based testing approach for cooperating robotic systems. Coloured Petri Nets are used for capturing the high behavioural multiplicity of such systems in a compact and scalable way. For the purpose of systematically extracting test cases from underlying models, a number of coverage criteria based on different model entities is introduced. Finally, in order to ensure practicality, an incremental testing procedure based on increasingly refined coverage concepts is proposed.